5. Advanced computer applications, 1994: presented at the 1994 Pressure Vessels and Piping Conference, Minneapolis, Minnesota, June 19-23, 1994
پدیدآورنده : sponsored by the Pressure Vessels and Piping Division, ASME; principal editor, Peter Langsten; contributing editors, K.H. Hsu, Eugene L. Poole, Jun Tang
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Computer programs - Congresses ، Structural analysis )Engineering(,Design and construction - Data processing - Congresses ، Pressure vessels,Design and construction - Data processing - Congresses ، Piping
رده :
TA
647
.
A38
1994
6. Advances in databases and information systems
پدیدآورنده : / Janis Grundspenkis ... [et al.] (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Database management, Congresses,Information technology, Congresses
رده :
QA76
.
9
.
D3A33
2010
7. Advances in electrical engineering software : proceedings of the First International Conference on Electrical Engineering Analysis and Design, Lowell, Massachusetts, USA, 21-23 August 1990
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electric engineering-- Computer programs-- Congresses,، Electrical engineering-- Applications of computer systems-- Software
رده :
TK
153
.
I577
1990
8. Advances in human factors in cybersecurity :
پدیدآورنده : editors: Tareq Ahram and Waldemar Karwowski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Computer security, Congresses.,Human-computer interaction, Congresses.,Management information systems, Congresses.,User interfaces (Computer systems), Congresses.,Computational intelligence.,Computer security.,COMPUTERS-- General.,Human-computer interaction.,Management information systems.,User interfaces (Computer systems)
رده :
QA76
.
9
.
A25
9. Advances in soft and hard computing /
پدیدآورنده : Jerzy Pejaś [and 3 others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses.,Soft computing, Congresses.,Computer systems.,Soft computing.
رده :
QA76
.
9
.
S63
A38
2019
10. Agent-technologies, infrastructures, tools, and applications for E-services
پدیدآورنده : / Ryszard Kowalczyk ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Intelligent agents (Computer software)--Congresses,Software engineering--Congresses,Electronic commerce--Computer programs--Congresses
رده :
QA
,
76
.
76
,.
I58
,
N63
,
2002
11. Ambient media and systems :
پدیدآورنده : Silvia Gabrielli, Dirk Elias, Kanav Kahol (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ambient intelligence, Congresses.,Human-computer interaction, Congresses.
رده :
QA76
.
5915
.
I58
2011
12. Artificial intelligence applications in chemistry :
پدیدآورنده : Thomas H. Pierce, Bruce A. Hohne, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
رده :
QD39
.
3
.
E46
A78
1986
13. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
14. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
16. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
17. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
18. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
19. Computation mathematical programming
پدیدآورنده : edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
20. Computational fluid dynamics: for the Environmental and Building Services Engineer: tool or toy?
پدیدآورنده : Environmental Engineering Group of the Institution of Mechanical Engineers )1991: London(
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Ventilation--Computer programs--Congrsses,، Air conditioning--Computer programs--Congresses,، Fluid dynamics--Computer programs--Congresses
رده :
TH
7205
.
E5
1991
